ChevLie: Constructing Lie algebras and Chevalley groups

Constructing algebraic groups from their Lie algebras

A connected algebraic group in characteristic 0 is uniquely determined by its Lie algebra. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its Lie algebra. Using this an algorithm is presented for finding a maximal reductive subgroup and the unipotent radical of an algebraic group.

Lie Algebras, Algebraic Groups, and Lie Groups

These notes are an introduction to Lie algebras, algebraic groups, and Lie groups in characteristic zero, emphasizing the relationships between these objects visible in their categories of representations. Eventually these notes will consist of three chapters, each about 100 pages long, and a short appendix. Single paper copies for noncommercial personal use may be made without explicit permiss...

Lie Groups and Lie Algebras

Lie Groups and Lie Algebras

A Lie group is, roughly speaking, an analytic manifold with a group structure such that the group operations are analytic. Lie groups arise in a natural way as transformation groups of geometric objects. For example, the group of all affine transformations of a connected manifold with an affine connection and the group of all isometries of a pseudo-Riemannian manifold are known to be Lie groups...

Constructing algebraic Lie algebras

We give an algorithm for constructing the algebraic hull of a given matrix Lie algebra. It is based on an algorithm for finding integral linear dependencies of the roots of a polynomial, that is probably of independent interest.